open structures

// ------------------------------------------------------------
//  Nodes
// ------------------------------------------------------------

one sig ND_A extends ND {}
one sig ND_B extends ND {}

